algebraic proofs day 1

visit shbcf.ru